cauchy sequence is convergent